Alternative hitting ability index for KBO
نویسندگان
چکیده
منابع مشابه
Partial Status for KBO
We propose an extension of the Knuth-Bendix order (KBO) called KBO with partial status. A standard status indicates permutation of arguments to each function symbol, but we extend them to allow some arguments to be ignored. This idea is similar to the argument filtering, but benefits of these methods are independent and hence can be combined. In addition, we introduce further refinements of KBO...
متن کاملSatisfying KBO Constraints
This paper presents two new approaches to prove termination of rewrite systems with the Knuth-Bendix order efficiently. The constraints for the weight function and for the precedence are encoded in (pseudo-)propositional logic and the resulting formula is tested for satisfiability. Any satisfying assignment represents a weight function and a precedence such that the induced Knuth-Bendix order o...
متن کاملAC-KBO Revisited
We consider various definitions of AC-compatible KnuthBendix orders. The orders of Steinbach and of Korovin and Voronkov are revisited. The former is enhanced to a more powerful AC-compatible order and we modify the latter to amend its lack of monotonicity on non-ground terms. We further present new complexity results. An extension reflecting the recent proposal of subterm coefficients in stand...
متن کاملComposition of KBO (50000) Quaoar
Aims. The objective of this work is to investigate the physical properties of objects beyond Neptune – the new frontiers of the Solar System – and in particular to study the surface composition of (50 000) Quaoar, a classical Transneptunian (or Kuiper Belt) object. Because of its distance from the Sun, Quaoar is expected to have preserved, to a degree, its original composition. Our goals are to...
متن کاملAsymptotics for Hitting Times
In this paper we characterize possible asymptotics for hitting times in aperiodic ergodic dynamical systems: asymptotics are proved to be the distribution functions of subprobability measures on the line belonging to the functional class (A) F = F is continuous and concave; F (t) ≤ t for t ≥ 0.. Note that all possible asymptotics are absolutely continuous.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the Korean Data and Information Science Society
سال: 2016
ISSN: 1598-9402
DOI: 10.7465/jkdi.2016.27.3.677